container.Mutable_Array3.index [ ]

type

integer, i0 I, i1 I, i2 I)

[Abstract feature]

get element at given index i

Precondition

pre
  safety: 0 ≤ i0.as_i64 < length0
  safety: 0 ≤ i1.as_i64 < length1
  safety: 0 ≤ i2.as_i64 < length2

Type Parameters

0.095dev (GIT hash 174ff0d5a4465a8a0415fd934dc6963e69d62f22)

last changed: 2026-04-27